Semenov A. A. «ABOUT TSEITIN TRANSFORMATION IN LOGICAL EQUATIONS » // 2009. №4(6) C.28-50
Burov P.S. , Semenov A.A. , Bespalov D.V. , Hmelnov A.E. , Zaikin O.S. «ANALYSIS OF SOME CRYPTOGRAPHIC PRIMITIVES ON COMPUTER CLUSTERS » // 2008. №2(2) C.120-130